Atomic compactness for reflexive graphs
نویسنده
چکیده
A first order structure M with universe M is atomic compact if every system of atomic formulas with parameters in M is satisfiable in M provided each of its finite subsystems is. We consider atomic compactness for the class of reflexive (symmetric) graphs. In particular, we investigate the extent to which “sparse” graphs (i.e. graphs with “few” vertices of “high” degree) are compact with respect to systems of atomic formulas with “few” unknowns, on the one hand, and are pure restrictions of their Stone–Čech compactifications, on the other hand.
منابع مشابه
When strict singularity of operators coincides with weak compactness
We prove that the notions of finite strict singularity, strict singularity and weak compactness coincide for operators defined on various spaces: the disc algebra, subspaces of C(K) with reflexive annihilator and subspaces of the Morse-TransueOrlicz space Mq (Ω, μ) with q > 2.
متن کاملOperads of higher transformations for globular sets and for higher magmas
In this article we discuss examples of fractal $omega$-operads. Thus we show that there is an $omega$-operadic approach to explain existence of the globular set of globular setsfootnote{Globular sets are also called $omega$-graphs by the French School.}, the reflexive globular set of reflexive globular sets, the $omega$-magma of $omega$-magmas, and also the reflexive $omega$-magma ...
متن کاملOn a Class of Maximal Reflexive Θ-graphs Generated by Smith Graphs
A simple graph is said to be reflexive if its second largest eigenvalue does not exceed 2. The property λ2 ≤ 2 is a hereditary one, i.e. any induced subgraph of a reflexive graph preserves this property and that is why reflexive graphs are usually represented by maximal graphs within a given class. Bicyclic graphs whose two cycles have a common path are called θ-graphs. We consider classes of m...
متن کاملGraphs Admitting k-NU Operations. Part 1: The Reflexive Case
We describe a generating set for the variety of reflexive graphs that admit a compatible k-ary near-unanimity operation; we further delin-eate a very simple subset that generates the variety of j-absolute retracts; in particular we show that the class of reflexive graphs with a 4-NU operation coincides with the class of 3-absolute retracts. Our results generalise and encompass several results o...
متن کاملDecompositions of Reflexive Bimodules over Maximal Abelian Selfadjoint Algebras
We generalize the notion of ‘diagonal’ from the class of CSL algebras to masa bimodules. We prove that a reflexive masa bimodule decomposes as a sum of two bimodules, the diagonal and a module generalizing the w*-closure of the Jacobson radical of a CSL algebra. The latter module turns out to be reflexive, a result which is new even for CSL algebras. We show that the projection onto the direct ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007